معنای عملیاتی برای یک زبان مبتنی براکتور

نویسندگان

  • الهام موسوی
  • علی موقر رحیم آبادی
  • مرجان سیرجانی
  • نیلوفر رضوی
چکیده مقاله:

باتوجه به رشد روز افزون استفاده از سیستم‌های همروند، داشتن مدلی مناسب برای توصیف این گونه سیستم‌ها امری ضروری است. در این مقاله یک زبان مبتنی براکتور، که زبانی شیء بنیاد و همروند است انتخاب شده و معنای عملیاتی آن به شکل صوری در سیستم گذار پایه بیان گردیده ‌است. به این ترتیب درک و استفاده از زبان و همچنین تشخیص هرگونه ناسازگاری و یا ابهام و نقص در آن آسان تر شده ‌است. اشیا‎ء واکنشی مستقل از هم، اجزاء تشکیل دهنده‌ی مدل هستند که با تبادل ناهمگام پیام با یکدیگر در ارتباط هستند. ایجاد پویای اشیاء واکنشی و تغییر پویای پیکربندی از ویژگی‌های این زبان است. این زبان به همراه توصیف صوری و قانونمند آن، پایه محکمی برای داشتن یک ابزار جهت وارسی سیستم‌های واکنشی بوده ‌است.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

حالت و معنای حالت در زبان روسی

در دستور سنتی زبان روسی، ویژگی دستوری "حالت " به عنوان یکی از ویژگی های دستوری تغییردهنده در ارتباط با اسم تعیین می شود و بر این اساس، شش حالت صرفی تحت عناوین "حالت نهادی، " حالت اضافی "، "حالت به ای "، "حالت مفعول مستقیم "، "حالت بایی " و "حالت حرف اضافه ای " مشخص می شوند. " صرف اسمی " از سوی دستورنویسان روس عمدتأ به شکل های مختلف اسم که موجب ویژگی دستوری "حالت " به دست می آیند، اطلاق می شود و...

متن کامل

شناسایی رفتارهای عملیاتی مبتنی بر ارزش‌های سازمانی در لایه‌ی عملیاتی

جاری‌سازی ارزش‌های سازمانی موجب بهبود رفتار کارکنان شده و اخلاق حرفه‌ای به مبنایی برای کسب‌وکار بدل می‌گردد. توجه به چگونگی و سازوکارهای لازم برای جاری‌سازی ارزش‌ها و تبدیل آن به رفتارهای عملیاتی در لایه‌ی عملیاتی کمتر مورد توجه قرار گرفته است. به این منظور، ضمن مروری مستند بر ادبیات موضوع، نتایج به‌دست‌آمده، طی مطالعه‌ی موردی در شرکت فولاد مبارکه‌ی اصفهان، مورد بررسی قرار گرفته است. بر این اسا...

متن کامل

طراحی یک ردیاب برای یک ماهواره‌بر مبتنی بر خطی‌سازی برخط

به دلیل حضور برخی ترم‌های غیر خطی در معادلات پرواز یک ماهواره‌بر باید یک راهبرد مناسب و پایدار کنترلی برای غلبه بر این ترم‌ها و در نتیجه، فرایند ردیابی صحیح مسیر بهینۀ رسیدن ماهواره‌بر به مدار مورد نظر را طراحی کرد. در این مقاله، مبانی طراحی یک کنترل‌کننده برای سیستم غیر خطی نوین و ساده با هدف کنترل یک نوع ماهواره‌بر در جهت ردیابی مسیر بهینۀ آن توضیح داده می‌شود. مبنای اساسی این استراتژی، خطی‌س...

متن کامل

سیستم تشخیص ناهنجاری مبتنی بر هشدار برای مقابله با تهدیدهای عملیاتی در سیستم اسکادا

حمله به سیستم‌های اسکادا در زیرساخت‌های حیاتی خسارت‌های جبران‌ناپذیری به همراه دارد. چنانچه اپراتورهای اسکادا وظایف خود را به‌درستی انجام ندهند، در فرآیندهای جاری سیستم اختلال به­وجود می‌آید. عملکرد نامناسب اپراتورها در کنترل فرآیندها به‌عنوان تهدید عملیاتی شناخته می‌شود. ازآنجایی‌که هشدارها یکی از مهم‌ترین پارامترها در سیستم‌های اسکادا می‌باشند، در این مقاله یک سیستم تشخیص ناهنجاری مبتنی بر هش...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


عنوان ژورنال

دوره 40  شماره 2

صفحات  -

تاریخ انتشار 2006-10-23

با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023